int check_bit_interval(u32 num, int lbit, int rbit, u32 val);

